export component MainWindow inherits Window {
  in property <int> counter : 10;
}